Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·15h
🎯Gradual Typing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·17h
🌳Context free grammars
Historical highlights?
logicmatters.net·21h
🔀Category Theory
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·4h
💻Local LLMs
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·1h·
Discuss: Hacker News
🌀Brotli Internals
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
Song recommendations with pipes and filters
blog.ploeh.dk·1d
⚡Effectful Programming
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·11h·
Discuss: Hacker News
🎯Interactive Provers
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
🔐 Introducing EMCL – A Secure Protocol for AI Agents to Call Tools
dev.to·17h·
Discuss: DEV
🌐NetworkProtocols
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Hazel: A live functional programming environment with typed holes
github.com·13h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·11h·
Discuss: Hacker News
🌀Differential Geometry
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·18h
📐Mathematical Art
A Rust Shaped Hole
mnvr.in·21h·
Discuss: Hacker News
🦀Rust Macros